Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Sequence
• LOOP
• Constructible universe
• Ground expression

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Chenyang Xu
• Minimal model program
• Fano variety
• Canonical singularity
• Birational geometry
• Projective variety
• Resolution of singularities
• Canonical bundle

Proceedings of the IE 2015 International Conference www.conferenceie.ase.ro A BUSINESS MODEL FOR THE INTERACTION BETWEEN ACTORS OF CULTURAL ECONOMY Cristian CIUREA

Source URL: www.bar.acad.ro

A Computational Model of Human Interaction and  Planning for Heterogeneous Multi­Agent Systems Alexandre Pauchet France Telecom R&D Nathalie Chaignaud

Source URL: asi.insa-rouen.fr

QUANTUM PHYSICS IN NEUROSCIENCE AND PSYCHOLOGY: A NEUROPHYSICAL MODEL OF MIND/BRAIN INTERACTION Jeffrey M. Schwartz Henry P. Stapp Mario Beauregard

Source URL: www-physics.lbl.gov

Introduction to iKern iKern is a tool for letter-fitting (spacing and kerning) fonts. iKern is a mathematical model of the interaction between separate generic shapes conceived for the task of letter-fitting. iKern is

Source URL: ikern.com

Interactive Exploration of Developer Interaction Traces using a Hidden Markov Model Kostadin Damevski Hui Chen

Source URL: damevski.github.io

FRISP Report NoA two-dimensional coupled model for ice shelf-ocean interaction Ryan T. Walker and David M. Holland Center for Atmosphere-Ocean Science,New York University,

Source URL: folk.uib.no

MODELLING ACOUSTIC FEATURE DEPENDENCIES WITH ARTIFICIAL NEURAL NETWORKS: TRAJECTORY-RNADE Benigno Uria1 1 Iain Murray1

Source URL: www.cstr.inf.ed.ac.uk

• Computational linguistics
• Artificial intelligence
• Humancomputer interaction
• Academia
• Speech recognition
• Artificial neural network
• Acoustic model
• Time series
• Speech synthesis
• Pattern recognition
• Machine learning

ELENA LEAH GLASSMAN 32 Vassar Street, Rm 32-G707 Cambridge, MA-9631

Source URL: eglassman.github.io

• Science and technology in the United States
• Computing
• Computer science
• Humancomputer interaction
• Massachusetts Institute of Technology
• V-12 Navy College Training Program
• Association for Computing Machinery
• MIT Computer Science and Artificial Intelligence Laboratory
• John Guttag
• Actor model
• Ronald Baecker